Travaux Preparatoires and United Nations Treaties or Conventions: Using the Web Wisely

While it is possible to find individual recent documentation relating to the drafting of treaties by searching the Internet via the popular search engines, the results may not always be as comprehensive as the conscientious legal practitioner or scholar might wish. And what of the less well-known multilateral conventions? Alas, it is not only the obscure or bilateral treaties that can be hard to interpret or locate. Travaux for larger conventions may be a challenge as well. An ounce of caution and a larger dose of background knowledge can save the generalist and the specialist librarian, respectively, from the pitfalls of missed documents or gaps that the researcher may all too readily blame on that hapless librarian

Codes and Hypertext: the Intertextuality of International and Comparative Law

The field of information studies reveals gaps in the literature of international and comparative law as part of interdisciplinary and textual studies. To illustrate the kind of theoretical and text-based work that could be done, this essay provides an example of such a study. Religious law texts, civil law codes, treaties and constitutional texts may provide a means to reveal the nature of hypertext as the new format for commentary. Margins used to be used for commentary, and now this can be done with hypertext and links in footnotes. Scholarly communication in general is now intertextual, and texts derive value and meaning from being related to other texts. This paper draws upon examples chosen after observing relationships between text presentation and hypertext as well as detailing similar observations by scholars to date. However, this essay attempts to go beyond a descriptive level to argue that this intertextuality, and the hypertext nature of the web, bring together texts and traditions in a manner conducive to the study of legal systems and their points of convergence

Two-Stage Consensus-Based Distributed MPC for Interconnected Microgrids

In this paper, we propose a model predictive control based two-stage energy management system that aims at increasing the renewable infeed in interconnected microgrids (MGs). In particular, the proposed approach ensures that each MG in the network benefits from power exchange. In the first stage, the optimal islanded operational cost of each MG is obtained. In the second stage, the power exchange is determined such that the operational cost of each MG is below the optimal islanded cost from the first stage. In this stage, a distributed augmented Lagrangian method is used to solve the optimisation problem and determine the power flow of the network without requiring a central entity. This algorithm has faster convergence and same information exchange at each iteration as the dual decomposition algorithm. The properties of the algorithm are illustrated in a numerical case study

Duality and interval analysis over idempotent semirings

In this paper semirings with an idempotent addition are considered. These algebraic structures are endowed with a partial order. This allows to consider residuated maps to solve systems of inequalities $A \otimes X \preceq B$. The purpose of this paper is to consider a dual product, denoted $\odot$, and the dual residuation of matrices, in order to solve the following inequality $A \otimes X \preceq X \preceq B \odot X$. Sufficient conditions ensuring the existence of a non-linear projector in the solution set are proposed. The results are extended to semirings of intervals

Detecting and enforcing monotonicity for hybrid control systems synthesis

Abstraction based approaches to control of hybrid systems require efficient means of computing outer approximations of reachable continuous state sets. This contribution discusses how the concept of monotonicity can be used for this purpose. It provides an efficient algorithm to check whether a given continuous system is monotone with respect to a (a-priori unknown) partial order and, if not, investigates how to use continuous feedback to enforce monotonicity. In the latter case, the resulting continuous feedback represents a (lower) control level within a hierarchical hybrid control system